A Behavioural Theory of First-Order CML
نویسندگان
چکیده
We investigate a number of semantic issues which arise, when a language of expressions such as ML, is augmented with constructs for communication and concurrency, as is the case with CML. We construct a simple language of first-order expressions, which includes an operator let.. = . . .in.. .end to provide a form of sequentialisation and a simple form of abstraction, communication constructs, and a spawn operator, for expressing concurrency. We construct an operational semantics for the language, which ensures that a number of natural laws for the let operator hold. In addition we provide a testing semantics for the language, and show how a fully abstract model for the resulting testing preorder, can be constructed from a variation of Accrptanc.e Trees. @ 1999-Elsevier Science B.V. All rights reserved KeylYar& CML; Values; Operational semantics; Testing semantics; Denotational model; Full abstraction; Monads
منابع مشابه
The Effect of a Training Program Based on the Theory of Planned Behaviour (TPB) on Sexual High-Risk Behavioural Intentions in Female Prisonors, Vakil Abad Prison, Mashhad, Iran, 2013
Background and Aims: High-risk sexual behaviors are of the most important risky behaviours in the area of sexual and reproductive health. It seems that educational programs based on health behavioural change theories are of the most basic measures in prevention of social damages. Therefore, the present study was carried out to determine the effect of a training...
متن کاملTowards a Semantic Theory of CML
A simple untyped language based on CML, Concurrent ML, is deened and analysed. The language contains a spawn operator for initiating new independent threads of computation and constructs for the exchange of data between these threads. A denotational model for the language is presented where denotations correspond to computations of values rather than simply values. It is shown to be fully abstr...
متن کاملResponse Determination of a Beam with Moderately Large Deflection Under Transverse Dynamic Load Using First Order Shear Deformation Theory
In the presented paper, the governing equations of a vibratory beam with moderately large deflection are derived using the first order shear deformation theory. The beam is homogenous, isotropic and it is subjected to the dynamic transverse and axial loads. The kinematic of the problem is according to the Von-Karman strain-displacement relations and the Hook's law is used as the constitutive eq...
متن کاملRanking Effective Behavioural Factors Affecting Non –compliance in Business Tax from the Professional Perspective
The country's tax system has always faced many challenges in the business sector, and various factors have caused lack of tax compliance in this sector. In this research, the identification and ranking of effective behavioural factors affecting non-compliance of business tax has been pursued with the aim[1] of answering the question that " what are the most important factors affecting the non-c...
متن کاملFree Vibration and Buckling Analysis of Sandwich Panels with Flexible Cores Using an Improved Higher Order Theory
In this paper, the behavior of free vibrations and buckling of the sandwich panel with a flexible core was investigated using a new improved high-order sandwich panel theory. In this theory, equations of motion were formulated based on shear stresses in the core. First-order shear deformation theory was applied for the procedures. In this theory, for the first time, incompatibility problem of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 216 شماره
صفحات -
تاریخ انتشار 1999